p :: x -> U m